factor groupoid

因子广义群